// non-open module
extends "extendModule1.pkl"
